/*
 * RReArr.h
 *
 *  Created on: May 23, 2012
 *      Author: kobe
 */

#ifndef RREARR_H_
#define RREARR_H_

#include "Rule.h"

class R_ReArr: public Rule {
public:
	R_ReArr();
	virtual ~R_ReArr();
	std::vector<Sequent*> run(Sequent*);
	std::string toString();
	std::string toLatex();
	bool isLoopRule();
	void popLastSequent();
private:
	Context* search(Context*);
	std::vector<Sequent*> mPastSequent;
};

#endif /* RREARR_H_ */
